data Stream x = Cons x (Stream x)